“Lightweight” Semantics Models for Program Testing and Debugging Automation
نویسنده
چکیده
We suggest an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is developed that provides a basis for assertion checking, debugging queries, execution profiles, and performance measurements.
منابع مشابه
Tools for program dynamic analysis, testing, and debugging based on event grammars
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is ...
متن کاملSemantics-based Automated Web Testing
We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated del...
متن کاملNAVAL POSTGRADUATE SCHOOL Monterey , California Engineering Automation for Reliable Software
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is ...
متن کاملA Lightweight Approach to Program Specialization⋆
Within the imperative programming paradigm, program slicing has been widely used as a basis to solve many software engineering problems, like debugging, testing, differencing, specialization, and merging. In this work, we present a lightweight approach to program specialization of lazy functional logic programs which is based on dynamic slicing. The kind of specialization performed by our appro...
متن کاملFinding Failure Causes through Automated Testing
A program fails. Under which circumstances does this failure occur? One single algorithm, the delta debugging algorithm, suffices to determine these failure-inducing circumstances. Delta debugging tests a program systematically and automatically to isolate failureinducing circumstances such as the program input, changes to the program code, or executed statements.
متن کامل